Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Todaii Japanese
Switch language – current: ko
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

Todaii Japanese 소개

브랜드 스토리자주 묻는 질문사용자 가이드약관 및 정책환불 정보

소셜 네트워크

Logo facebookLogo instagram

앱 버전

AppstoreGoogle play

기타 앱

Todaii German
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

저작권은 eUp Technology JSC에 있습니다

Copyright@2026

사전

단어 상세정보

証明 (数学)

証明されるか、その証明の中で否定されなければならない（背理法）。 命題 P を証明したいとき、P をそのまま証明することを直接証明という。それに対して P が真であることを直接証明する代わりに、P と同値な別の命題が真であることを証明する方法を間接証明

관련 단어

証明

(1)理由や根拠を明らかにして事柄が真実であることや判断・推理などが正しいことを明らかにすること。 「無実を～するもの」 (2)〔数・論〕 真であると前提されるいくつかの命題（公理）を用いて， ある命題（定理）が真であることを論理的手続きに従って導くこと。

明証

(1)はっきりと証拠をあげて示すこと。 また， その証拠。 「既に其国の社員に非ざることを～し/民約論（徳）」 (2)〔哲〕 ある判断がもつ直接的確実性。 明晰判明な判断がもつ確実性。 直証。 「～的判断」

証明論

証明を書くことは、機械語でプログラミングをするようなものである。 現代では、形式的証明は一般に計算機支援証明を補助としてコンピュータを使って構築される。また、その証明がコンピュータで自動的に検証される点も重要である。形式的証明の検証は簡単だが、証明そのものをコンピュータが構築すること（自動定理証明

明証 (クルアーン)

『明証』とは、クルアーンにおける第98番目の章（スーラ）。8つの節（アーヤ）から成る。 ^ a b 日本ムスリム情報事務所 聖クルアーン日本語訳 日本ムスリム情報事務所 聖クルアーン日本語訳 表示 編集

証×明 -SHOMEI-

『証×明 -SHOMEI-』（しょうめい）は、喜多村英梨の2枚目のオリジナルアルバム。2014年4月9日にスターチャイルドから発売された。 タイトルの「証×明 -SHOMEI-」は、喜多村曰く「喜多村ってここまでやるの?」ということを証明するためにつけられた。

証明ティンエイジャー

何も着用せず、生まれたのままの姿を披露し、自分自身の可能性、そして今を生きる自分自身の存在を「証明」している。最後は凛とした全メンバーが後方を向いて佇み、後頭部からセミヌードの背中が映り、メンバーのリーダーシップも感じさせるようになっている。 音楽配信サイトで「証明ティンエイジャー」のオルゴールバー

自明性 (数学)

数学において、形容詞自明な (trivial) は対象（例えば群や位相空間）であって非常に単純な構造を持つものに対して頻繁に使われる。名詞自明性 (triviality) は通常証明や定義の単純な技術的面を言う。数学の言葉の用語の起源は中世の trivium curriculum から来ている。対義語非自明な (nontrivial)

型式証明

型式証明（かたしきしょうめい、英語: Type certificate）とは、民間航空機の型式が安全性及び環境適合性の基準を満たしていることを証明するものである。 型式証明はTC (Type Certificate) ともいい、航空機の開発時に必要な証明で予め開発段階で設計や製造過程の検査を行って

配達証明

配達証明（はいたつしょうめい）とは日本郵便が提供する郵便サービスの一つ。一般書留とした郵便物に対して付加するサービスである。 一般書留（現金書留を含む）に付加できるオプションとして扱われ、郵便物を配達・交付した際に郵便物等配達証明書を差出人に送付し、当該の郵便物を配達・交付した事実を証明

証明責任

証明責任（しょうめいせきにん）とは、真偽不明な対象に関して証明を負う責任。挙証責任、立証責任とも言う。 論理学・哲学的な文脈で、どちらが対象となる事実について証拠を挙げる、または証明を行う責任を負うか、という意味で用いられることがある。 裁判上では、ある事実が真偽不明であるときに、その事実を要件（前

ルート証明書

ルート証明書（ルートしょうめいしょ、英: Root certificate）とは、公開鍵基盤を構成する一要素で、発行者と主体者が同じであり、かつ自分自身の秘密鍵で、それに対応する自らの公開鍵に署名した公開鍵証明書のことで、木構造をなす証明書のルートとなるものである。 自己署名証明書や自己発行証明書

存在証明

『存在証明』は、2017年12月6日に発売された小林幸子のシングル。 第1回ももいろ歌合戦に本曲で初出場。 存在証明 作詞・作曲：志倉千代丸／編曲：Tak Miyazawa サチコサンサチコサン 作詞：チーム5884／作曲：ナユタン星人／編曲：岡島俊治、大山徹也 存在証明（オリジナル・カラオケ）

履修証明

履修証明（りしゅうしょうめい、英: Certificate〈サティフィケイト〉）とは、学業の学修水準または職業の技能能力を証明する制度のひとつである。 アメリカ合衆国のコミュニティ・カレッジにおける職業サーティフィケート課程は、ISCED4Cレベルの職業教育であり、卒業時には職業サーティフィケート（Vocational Certificate）が発行される。

耐空証明

なお、型式証明はTC (Type Certificates) ともいい、航空機の開発時に必要な証明で予め開発段階で設計や製造過程の検査を行っておくことで耐空証明検査で重複する部分の検査を省略できるようにする制度であり、そのため型式証明の基準は耐空証明の基準と同じものを用いることになる。 耐空証明

証明写真

証明写真（しょうめいしゃしん）は、その人物を判断し、他人のなりすましを見分けることなどを目的に身分証明書や書類などに貼付される人物写真。パスポートや運転免許証などの公文書、履歴書などの私文書、入学試験や資格試験などの願書（写真が貼られた部分が受験票となる）などに用いられる。基本的に無地の背景で、肩

内容証明

また、電子内容証明を除けば、集配郵便局（日本郵便が配達を行う事業所のある郵便局）および日本郵便が指定する一部の郵便局の窓口で差し出さなければならない。但し、これらの受付箇所においては、通常の窓口だけではなく時間外窓口（ゆうゆう窓口）においても、2名以上の郵便認証司が執務していれば受付が可能である。

愛の証明

「愛の証明」（あいのしょうめい）は、1980年2月16日に発売された野口五郎の33枚目のシングルである。 シングル曲としては初めて、なかにし礼がA・B面ともに作詞を手掛けている。 全曲作詞：なかにし礼／作曲：佐藤寛／編曲：井上鑑 愛の証明 パリ北駅 1980年の音楽

ある証明

ある証明（あるしょうめい）は、日本のロックバンドACIDMANの8thシングル。2005年5月18日発売 トリプルA面シングル。 CD-EXTRA仕様で「SOL」のPVの一部やCinema vol.3のライブ映像の様子、レコーディングシーンなどを収録 ある証明(5:02) 『and world』を参照

数学

数理科学 計算科学—数値解析—確率論—逆問題—数理物理学—数理経済学—ゲーム理論—数理生物学—数理心理学—保険数理—数理工学 有名な定理と予想 フェルマーの最終定理—リーマン予想—連続体仮説—P≠NP予想—ゴールドバッハの予想—双子素数—ゲーデル